Giesl, P.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Meshless Collocation: Error Estimates with Application to Dynamical Systems

Giesl, Peter, Wendland, Holger

Journal:

SIAM Journal on Numerical Analysis

Year:

2007

Language:

english

File:

PDF, 635 KB

english, 2007

2

Construction of Finsler-Lyapunov functions with meshless collocation

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

2019

Language:

english

File:

PDF, 2.32 MB

english, 2019

3

Kernel-Based Discretization for Solving Matrix-Valued PDEs

Giesl, Peter, Wendland, Holger

Journal:

SIAM Journal on Numerical Analysis

Year:

2018

Language:

english

File:

PDF, 1.75 MB

english, 2018

4

Necessary conditions for a limit cycle and its basin of attraction

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2004

Language:

english

File:

PDF, 437 KB

english, 2004

5

Construction of a local and global Lyapunov function for discrete dynamical systems using radial basis functions

Journal:

Journal of Approximation Theory

Year:

2008

Language:

english

File:

PDF, 738 KB

english, 2008

6

Approximating the domains of functional and imperative programs

Jürgen Brauburger, Jürgen Giesl

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 171 KB

english, 1999

7

Existence of piecewise affine Lyapunov functions in two dimensions

Peter Giesl, Sigurdur Hafstein

Journal:

Journal of Mathematical Analysis and Applications

Year:

2010

Language:

english

File:

PDF, 569 KB

english, 2010

8

Construction of Lyapunov functions for nonlinear planar systems by linear programming

Peter Giesl, Sigurdur Hafstein

Journal:

Journal of Mathematical Analysis and Applications

Year:

2012

Language:

english

File:

PDF, 349 KB

english, 2012

9

Insights into functional aspects of centrins from the structure of N-terminally extended mouse centrin 1

Jung Hee Park, Alexander Pulvermüller, Patrick Scheerer, Sebastian Rausch, Andreas Gießl, Wolfgang Höhne, Uwe Wolfrum, Klaus Peter Hofmann, Oliver Peter Ernst, Hui-Woog Choe, Norbert Krauß

Journal:

Vision Research

Year:

2006

Language:

english

File:

PDF, 661 KB

english, 2006

10

On the determination of the basin of attraction of discrete dynamical systems

Journal:

Journal of Difference Equations and Applications

Year:

2007

Language:

english

File:

PDF, 334 KB

english, 2007

11

Meshless Collocation: Error Estimates with Application to Dynamical Systems

Peter Giesl and Holger Wendland

Journal:

SIAM Journal on Numerical Analysis

Year:

2007

Language:

english

File:

PDF, 1.67 MB

english, 2007

12

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

NGUYEN, MANH THANG, DE SCHREYE, DANNY, GIESL, JÜRGEN, SCHNEIDER-KAMP, PETER

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 290 KB

english, 2011

13

Automated termination analysis for logic programs with cut

SCHNEIDER-KAMP, PETER, GIESL, JÜRGEN, STRÖDER, THOMAS, SEREBRENIK, ALEXANDER, THIEMANN, RENÉ

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 582 KB

english, 2010

14

Von Stimmführungsvorgängen zur Harmonik. Eine Anwendung der Clausellehre auf Wagners „Tristan und Isolde”

Journal:

Die Musikforschung

Year:

1999

Language:

german

File:

PDF, 2.50 MB

german, 1999

15

Von Stimmführungsvorgängen zu Kleinterzzirkeln Eine Deutung der Teufelsmühle durch die Clausellehre

Journal:

Die Musikforschung

Year:

2001

Language:

german

File:

PDF, 1.63 MB

german, 2001

16

Analyzing Runtime and Size Complexity of Integer Programs

Brockschmidt, Marc, Emmes, Fabian, Falke, Stephan, Fuhs, Carsten, Giesl, Jürgen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2016

Language:

english

File:

PDF, 1.25 MB

english, 2016

17

[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete

Year:

2005

Language:

english

File:

PDF, 256 KB

english, 2005

18

Lower Bounds for Runtime Complexity of Term Rewriting

Florian Frohn,Jürgen Giesl,Jera Hensel…

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.17 MB

english, 2017

19

Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution

Hensel, Jera, Giesl, Jürgen, Frohn, Florian, Ströder, Thomas

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1012 KB

english, 2018

20

Constant runtime complexity of term rewriting is semi-decidable

Frohn, Florian, Giesl, Jürgen

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 301 KB

english, 2018

21

Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions

Giesl, Peter, Osborne, Conor, Hafstein, Sigurdur

Journal:

SIAM Journal on Applied Dynamical Systems

Year:

2020

File:

PDF, 2.03 MB

2020

22

Modular Termination Proofs for Rewriting Using Dependency Pairs

Jürgen Giesl, Thomas Arts, Enno Ohlebusch

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 524 KB

english, 2002

23

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 97 KB

english, 2008

24

Stability analysis of the elbow with a load

Peter Giesl, Dorothea Meisel, Jürgen Scheurle, Heiko Wagner

Journal:

Journal of Theoretical Biology

Year:

2004

Language:

english

File:

PDF, 309 KB

english, 2004

25

Borg’s criterion for almost periodic differential equations

Peter Giesl, Martin Rasmussen

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2008

Language:

english

File:

PDF, 622 KB

english, 2008

26

Numerical determination of the basin of attraction for exponentially asymptotically autonomous dynamical systems

Peter Giesl, Holger Wendland

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2011

Language:

english

File:

PDF, 621 KB

english, 2011

27

Termination of term rewriting using dependency pairs

Thomas Arts, Jürgen Giesl

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 281 KB

english, 2000

28

Simulating Liveness by Reduction Strategies

Jürgen Giesl, Hans Zantema

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 215 KB

english, 2003

29

The optimal elbow angle for acrobatics - stability analysis of the elbow with a load

Journal:

Year:

2003

Language:

english

File:

PDF, 207 KB

english, 2003

30

The basin of attraction of periodic orbits in nonsmooth differential equations

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

2005

Language:

english

File:

PDF, 221 KB

english, 2005

31

Absorption spectroscopy of Ar2(5p) in the3Σgand3

N. Conrad, W. Gießl, C. Leisner, R. Tietz, H. Langhoff

Journal:

Zeitschrift für Physik D Atoms, Molecules and Clusters

Year:

1990

Language:

english

File:

PDF, 679 KB

english, 1990

32

DOM-Flocculation: A suitable approach for separating free and DOM-bound herbicides?

Journal:

Environmental Science and Pollution Research

Year:

1999

Language:

english

File:

PDF, 623 KB

english, 1999

33

Gastrointestinaler autonomer Nerventumor (GANT) – Ein seltener Tumor des Ileum

U. Gießling, E. Puffer, K. Ludwig

Journal:

Year:

2001

Language:

german

File:

PDF, 58 KB

german, 2001

34

The size-change principle and dependency pairs for termination of term rewriting

René Thiemann, Jürgen Giesl

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2005

Language:

english

File:

PDF, 406 KB

english, 2005

35

Adding constants to string rewriting

René Thiemann, Hans Zantema, Jürgen Giesl, Peter Schneider-Kamp

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2008

Language:

english

File:

PDF, 177 KB

english, 2008

36

Special Issue “Termination”

Jürgen Giesl, Pierre Lescanne

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2001

Language:

english

File:

PDF, 17 KB

english, 2001

37

Verification of Erlang Processes by Dependency Pairs

Jürgen Giesl, Thomas Arts

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

2001

Language:

english

File:

PDF, 220 KB

english, 2001

38

Lyapunov function and the basin of attraction for a single-joint muscle-skeletal model

Peter Giesl, Heiko Wagner

Journal:

Journal of Mathematical Biology

Year:

2007

Language:

english

File:

PDF, 299 KB

english, 2007

39

Bone spicule pigment formation in retinitis pigmentosa: insights from a mouse model

Gesine B. Jaissle, Christian Albrecht May, Serge A. van de Pavert, Andreas Wenzel, Ellen Claes-May, Andreas Gießl, Peter Szurman, Uwe Wolfrum, Jan Wijnholds, M. D. Fisher, P. Humphries, M. W. Seeliger

Journal:

Graefe's Archive for Clinical and Experimental Ophthalmology

Year:

2010

Language:

english

File:

PDF, 551 KB

english, 2010

40

Erratum to: Bone spicule pigment formation in retinitis pigmentosa: insights from a mouse model

Gesine B. Jaissle, Christian Albrecht May, Serge A. van de Pavert, Andreas Wenzel, Ellen Claes-May, Andreas Gießl, Peter Szurman, Uwe Wolfrum, Jan Wijnholds, M. D. Fischer, P. Humphries, M. W. Seelige

Journal:

Graefe's Archive for Clinical and Experimental Ophthalmology

Year:

2010

Language:

english

File:

PDF, 53 KB

english, 2010

41

Preface

Jügen Giesl, Deepak Kapur

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 110 KB

english, 2005

42

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 942 KB

english, 2006

43

Preface

Jürgen Giesl, Deepak Kapur

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 56 KB

english, 2005

44

Third Special Issue on Techniques for Automated Termination Proofs

Jürgen Giesl, Deepak Kapur

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 134 KB

english, 2006

45

Preface: Special Issue of Selected Extended Papers of IJCAR 2010

Jürgen Giesl, Reiner Hähnle

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 120 KB

english, 2011

46

Proving Termination by Dependency Pairs and Inductive Theorem Proving

Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 588 KB

english, 2011

47

Current Trends in Automated Deduction

Journal:

KI - Künstliche Intelligenz

Year:

2010

Language:

english

File:

PDF, 191 KB

english, 2010

48

Special Issue on Automated Deduction

Journal:

KI - Künstliche Intelligenz

Year:

2010

Language:

english

File:

PDF, 138 KB

english, 2010

49

Signal transduction and signal transmission

A. Gießl, H. Regus-Leidig, J.H. Brandstätter

Journal:

Year:

2010

Language:

english

File:

PDF, 1.29 MB

english, 2010

50

On the determination of the basin of attraction of a periodic orbit in two-dimensional systems

Journal:

Journal of Mathematical Analysis and Applications

Year:

2007

Language:

english

File:

PDF, 728 KB

english, 2007